Skip to main content

basic laws of sets

lawconditions
Idempotent lawAA=AAA=AA \cup A = A \\ A \cap A = A
Commutative lawAB=BAAB=BAA \cup B = B \cup A \\ A \cap B = B \cap A
Associative law(AB)C=A(BC)(AB)C=A(BC)(A \cup B) \cup C = A \cup (B \cup C ) \\ (A \cap B) \cap C = A \cap (B \cap C )
Distributive lawA(BC)=(AB)(AC)A(BC)=(AB)(AC)A \cup (B \cap C) = ( A \cup B) \cap ( A \cup C) \\ A \cap (B \cup C) = ( A \cap B) \cup ( A \cap C)
DeMorgan's law(AB)c=AcBc(AB)c=AcBc( A \cup B )^c = A^c \cap B^c \\ ( A \cap B )^c = A^c \cup B^c
identity lawA=AA=AU=UAU=AA \cup \emptyset = A \\ A \cap \emptyset = \emptyset \\ A \cup U = U \\ A \cap U = A
compliment lawAAc=UAAc=Uc=c=UA \cup A^c = U \\ A \cap A^c = \emptyset \\ U^c = \emptyset \\ \emptyset^c = U
involution law(Ac)c=A( A^c)^c = A